Stichworte: logically solve abstract problems